[next] [prev] [prev-tail] [tail] [up]

2.2.21 Integrals 2001 to 2100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

345 184 320 390 0 576 0 524 0

N.S.

1 0.53 0.93 1.13 0.00 1.67 0.00 1.52 0.00

time (sec)

N/A 0.412 1.099 0.612 0.000 0.309 0.000 0.278 0.000

Problem 2002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 183 318 384 0 571 0 525 0

N.S.

1 0.53 0.92 1.12 0.00 1.66 0.00 1.53 0.00

time (sec)

N/A 0.406 1.105 0.716 0.000 0.308 0.000 0.276 0.000

Problem 2003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 183 315 388 0 542 0 519 0

N.S.

1 0.53 0.92 1.13 0.00 1.58 0.00 1.51 0.00

time (sec)

N/A 0.403 1.112 0.971 0.000 0.289 0.000 0.279 0.000

Problem 2004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 195 258 374 0 492 0 527 0

N.S.

1 0.55 0.72 1.05 0.00 1.38 0.00 1.48 0.00

time (sec)

N/A 0.397 1.117 1.372 0.000 0.368 0.000 0.274 0.000

Problem 2005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 289 330 0 398 0 564 1010

N.S.

1 1.00 7.05 8.05 0.00 9.71 0.00 13.76 24.63

time (sec)

N/A 0.181 1.074 2.091 0.000 0.334 0.000 0.280 11.160

Problem 2006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 86 295 351 0 430 0 583 1010

N.S.

1 0.88 3.01 3.58 0.00 4.39 0.00 5.95 10.31

time (sec)

N/A 0.220 1.081 2.924 0.000 0.285 0.000 0.270 11.091

Problem 2007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 130 295 351 0 441 0 598 1010

N.S.

1 0.87 1.98 2.36 0.00 2.96 0.00 4.01 6.78

time (sec)

N/A 0.239 1.079 4.348 0.000 0.313 0.000 0.271 11.085

Problem 2008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 174 295 351 0 452 0 611 1010

N.S.

1 0.87 1.48 1.76 0.00 2.26 0.00 3.06 5.05

time (sec)

N/A 0.266 1.075 6.770 0.000 0.305 0.000 0.292 11.112

Problem 2009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

359 198 295 351 0 463 0 626 1010

N.S.

1 0.55 0.82 0.98 0.00 1.29 0.00 1.74 2.81

time (sec)

N/A 0.396 1.078 9.731 0.000 0.330 0.000 0.281 11.156

Problem 2010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 201 295 351 0 474 0 639 1010

N.S.

1 0.56 0.81 0.97 0.00 1.31 0.00 1.77 2.79

time (sec)

N/A 0.380 1.072 14.523 0.000 0.303 0.000 0.282 11.134

Problem 2011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

360 199 295 351 0 485 0 654 1010

N.S.

1 0.55 0.82 0.98 0.00 1.35 0.00 1.82 2.81

time (sec)

N/A 0.395 1.079 20.536 0.000 0.272 0.000 0.286 11.129

Problem 2012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 201 295 351 0 496 0 667 1010

N.S.

1 0.56 0.81 0.97 0.00 1.37 0.00 1.84 2.79

time (sec)

N/A 0.388 1.079 26.812 0.000 0.276 0.000 0.285 11.194

Problem 2013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 201 295 351 0 507 0 682 1010

N.S.

1 0.56 0.81 0.97 0.00 1.40 0.00 1.88 2.79

time (sec)

N/A 0.383 1.079 35.402 0.000 0.284 0.000 0.278 11.205

Problem 2014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 201 295 351 0 518 0 695 1010

N.S.

1 0.56 0.81 0.97 0.00 1.43 0.00 1.92 2.79

time (sec)

N/A 0.379 1.077 86.885 0.000 0.368 0.000 0.275 11.197

Problem 2015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 30 27 688 42 1632 97 0

N.S.

1 1.00 0.77 0.69 17.64 1.08 41.85 2.49 0.00

time (sec)

N/A 0.177 0.015 0.498 0.198 0.343 3.065 0.264 0.000

Problem 2016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 30 27 432 31 1015 82 0

N.S.

1 1.00 0.77 0.69 11.08 0.79 26.03 2.10 0.00

time (sec)

N/A 0.179 0.007 0.408 0.195 0.418 2.398 0.270 0.000

Problem 2017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 30 27 239 20 578 69 0

N.S.

1 1.00 0.77 0.69 6.13 0.51 14.82 1.77 0.00

time (sec)

N/A 0.174 0.008 0.342 0.193 0.382 1.764 0.278 0.000

Problem 2018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 39 28 25 95 10 282 42 0

N.S.

1 0.63 0.45 0.40 1.53 0.16 4.55 0.68 0.00

time (sec)

N/A 0.169 0.007 0.302 0.200 0.356 1.220 0.265 0.000

Problem 2019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 15 14 13 1 20 20 76

N.S.

1 1.00 0.62 0.58 0.54 0.04 0.83 0.83 3.17

time (sec)

N/A 0.148 0.016 0.266 0.188 0.333 0.775 0.281 11.029

Problem 2020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 26 25 0 10 0 17 0

N.S.

1 1.00 0.74 0.71 0.00 0.29 0.00 0.49 0.00

time (sec)

N/A 0.172 0.005 0.305 0.000 0.581 0.000 0.297 0.000

Problem 2021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 28 27 0 13 0 40 28

N.S.

1 1.00 0.74 0.71 0.00 0.34 0.00 1.05 0.74

time (sec)

N/A 0.173 0.007 0.342 0.000 0.271 0.000 0.262 10.900

Problem 2022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 39 30 27 0 24 0 56 28

N.S.

1 0.93 0.71 0.64 0.00 0.57 0.00 1.33 0.67

time (sec)

N/A 0.170 0.008 0.374 0.000 0.283 0.000 0.263 11.006

Problem 2023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 39 30 27 0 35 0 71 28

N.S.

1 0.93 0.71 0.64 0.00 0.83 0.00 1.69 0.67

time (sec)

N/A 0.169 0.008 0.472 0.000 0.278 0.000 0.279 10.972

Problem 2024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 39 30 27 0 46 0 84 28

N.S.

1 0.93 0.71 0.64 0.00 1.10 0.00 2.00 0.67

time (sec)

N/A 0.168 0.008 0.528 0.000 0.292 0.000 0.263 10.980

Problem 2025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 130 170 216 754 268 0 212 0

N.S.

1 0.62 0.81 1.03 3.59 1.28 0.00 1.01 0.00

time (sec)

N/A 0.328 1.062 0.657 0.202 0.348 0.000 0.266 0.000

Problem 2026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 101 120 149 481 173 0 153 0

N.S.

1 0.62 0.74 0.92 2.97 1.07 0.00 0.94 0.00

time (sec)

N/A 0.295 1.041 0.529 0.197 0.321 0.000 0.264 0.000

Problem 2027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 77 278 104 272 92 0 89 0

N.S.

1 0.73 2.62 0.98 2.57 0.87 0.00 0.84 0.00

time (sec)

N/A 0.258 1.107 0.423 0.199 0.298 0.000 0.271 0.000

Problem 2028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 58 185 48 117 39 0 49 0

N.S.

1 0.87 2.76 0.72 1.75 0.58 0.00 0.73 0.00

time (sec)

N/A 0.228 0.771 0.368 0.205 0.315 0.000 0.261 0.000

Problem 2029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A B A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

25 25 16 19 23 13 34 20 23

N.S.

1 1.00 0.64 0.76 0.92 0.52 1.36 0.80 0.92

time (sec)

N/A 0.161 0.006 0.275 0.192 0.307 0.214 0.266 10.847

Problem 2030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 83 57 77 0 93 0 138 0

N.S.

1 0.69 0.48 0.64 0.00 0.78 0.00 1.15 0.00

time (sec)

N/A 0.254 1.027 0.348 0.000 0.433 0.000 0.266 0.000

Problem 2031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 107 92 181 0 241 0 232 0

N.S.

1 0.63 0.54 1.07 0.00 1.43 0.00 1.37 0.00

time (sec)

N/A 0.289 1.047 0.401 0.000 0.459 0.000 0.266 0.000

Problem 2032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 136 135 331 0 495 0 322 0

N.S.

1 0.61 0.61 1.48 0.00 2.22 0.00 1.44 0.00

time (sec)

N/A 0.330 1.071 0.477 0.000 0.349 0.000 0.286 0.000

Problem 2033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 155 232 290 1010 426 0 296 0

N.S.

1 0.62 0.92 1.15 4.01 1.69 0.00 1.17 0.00

time (sec)

N/A 0.388 1.077 0.744 0.292 0.344 0.000 0.271 0.000

Problem 2034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 129 170 215 755 292 0 201 0

N.S.

1 0.64 0.85 1.07 3.76 1.45 0.00 1.00 0.00

time (sec)

N/A 0.317 1.060 0.639 0.238 0.308 0.000 0.266 0.000

Problem 2035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 112 91 140 533 176 0 134 0

N.S.

1 0.73 0.59 0.91 3.46 1.14 0.00 0.87 0.00

time (sec)

N/A 0.287 1.045 0.486 0.214 0.287 0.000 0.269 0.000

Problem 2036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 292 69 274 84 0 67 77

N.S.

1 1.00 7.12 1.68 6.68 2.05 0.00 1.63 1.88

time (sec)

N/A 0.173 1.003 0.447 0.197 0.306 0.000 0.272 10.968

Problem 2037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 64 246 35 118 50 0 33 43

N.S.

1 0.94 3.62 0.51 1.74 0.74 0.00 0.49 0.63

time (sec)

N/A 0.217 0.744 0.336 0.198 0.289 0.000 0.282 10.839

Problem 2038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A B A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

27 27 18 19 23 35 97 20 30

N.S.

1 1.00 0.67 0.70 0.85 1.30 3.59 0.74 1.11

time (sec)

N/A 0.156 0.008 0.273 0.202 0.274 0.393 0.270 10.788

Problem 2039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 133 116 251 0 425 0 311 0

N.S.

1 0.63 0.55 1.20 0.00 2.02 0.00 1.48 0.00

time (sec)

N/A 0.320 1.059 0.375 0.000 0.279 0.000 0.279 0.000

Problem 2040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

260 158 144 483 0 751 0 428 0

N.S.

1 0.61 0.55 1.86 0.00 2.89 0.00 1.65 0.00

time (sec)

N/A 0.359 1.068 0.428 0.000 0.315 0.000 0.279 0.000

Problem 2041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

323 196 184 738 0 1151 0 550 0

N.S.

1 0.61 0.57 2.28 0.00 3.56 0.00 1.70 0.00

time (sec)

N/A 0.413 1.077 0.519 0.000 0.309 0.000 0.291 0.000

Problem 2042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 102 94 118 320 654 1196 87

N.S.

1 1.00 1.02 0.94 1.18 3.20 6.54 11.96 0.87

time (sec)

N/A 0.251 0.079 0.297 0.206 0.308 0.575 0.279 0.084

Problem 2043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 102 94 118 268 549 857 87

N.S.

1 1.00 1.02 0.94 1.18 2.68 5.49 8.57 0.87

time (sec)

N/A 0.239 0.032 0.287 0.183 0.338 0.406 0.276 11.065

Problem 2044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 102 93 0 216 196 566 87

N.S.

1 1.00 1.02 0.93 0.00 2.16 1.96 5.66 0.87

time (sec)

N/A 0.249 0.027 0.256 0.000 0.371 1.124 0.291 0.063

Problem 2045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 102 93 118 164 196 322 87

N.S.

1 1.00 1.02 0.93 1.18 1.64 1.96 3.22 0.87

time (sec)

N/A 0.244 0.021 0.263 0.190 0.351 1.101 0.280 0.064

Problem 2046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 101 92 118 115 194 137 87

N.S.

1 1.00 1.05 0.96 1.23 1.20 2.02 1.43 0.91

time (sec)

N/A 0.241 0.018 0.266 0.191 0.371 0.995 0.271 0.062

Problem 2047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 99 94 125 124 163 152 114

N.S.

1 1.00 1.05 1.00 1.33 1.32 1.73 1.62 1.21

time (sec)

N/A 0.236 0.018 0.274 0.194 0.360 2.307 0.279 0.071

Problem 2048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 101 66 122 136 461 141 128

N.S.

1 1.00 1.05 0.69 1.27 1.42 4.80 1.47 1.33

time (sec)

N/A 0.237 0.020 0.287 0.192 0.470 0.338 0.273 0.080

Problem 2049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 100 93 121 148 665 131 114

N.S.

1 1.00 1.06 0.99 1.29 1.57 7.07 1.39 1.21

time (sec)

N/A 0.236 0.020 0.272 0.180 0.397 0.478 0.277 10.989

Problem 2050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 217 204 259 579 1187 2186 137

N.S.

1 1.00 1.37 1.29 1.64 3.66 7.51 13.84 0.87

time (sec)

N/A 0.309 0.133 0.355 0.189 0.447 0.789 0.289 0.069

Problem 2051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 217 204 259 497 347 1599 137

N.S.

1 1.00 1.37 1.29 1.64 3.15 2.20 10.12 0.87

time (sec)

N/A 0.296 0.052 0.342 0.206 0.391 1.708 0.294 10.773

Problem 2052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 217 204 259 418 347 1084 137

N.S.

1 1.00 1.37 1.29 1.64 2.65 2.20 6.86 0.87

time (sec)

N/A 0.300 0.045 0.316 0.187 0.438 1.628 0.289 0.051

Problem 2053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 217 203 259 338 347 641 137

N.S.

1 1.00 1.39 1.30 1.66 2.17 2.22 4.11 0.88

time (sec)

N/A 0.303 0.041 0.325 0.187 0.352 1.502 0.268 0.050

Problem 2054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 216 204 259 261 345 283 137

N.S.

1 1.00 1.40 1.32 1.68 1.69 2.24 1.84 0.89

time (sec)

N/A 0.299 0.036 0.324 0.187 0.643 1.442 0.273 0.052

Problem 2055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 214 206 267 271 284 350 192

N.S.

1 1.00 1.41 1.36 1.76 1.78 1.87 2.30 1.26

time (sec)

N/A 0.305 0.035 0.329 0.185 0.289 6.781 0.273 10.706

Problem 2056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 217 194 265 283 235 335 229

N.S.

1 1.00 1.43 1.28 1.74 1.86 1.55 2.20 1.51

time (sec)

N/A 0.309 0.035 0.339 0.189 0.299 6.818 0.279 10.703

Problem 2057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 218 148 265 294 1428 331 255

N.S.

1 1.00 1.42 0.96 1.72 1.91 9.27 2.15 1.66

time (sec)

N/A 0.295 0.038 0.329 0.197 0.289 0.551 0.281 0.087

Problem 2058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 376 359 456 891 576 3416 187

N.S.

1 1.00 1.74 1.66 2.11 4.12 2.67 15.81 0.87

time (sec)

N/A 0.389 0.211 0.478 0.213 0.292 2.157 0.315 10.912

Problem 2059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 376 359 456 783 576 2533 187

N.S.

1 1.00 1.74 1.66 2.11 3.62 2.67 11.73 0.87

time (sec)

N/A 0.364 0.207 0.458 0.189 0.305 1.989 0.298 0.064

Problem 2060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 214 376 358 456 676 576 1746 187

N.S.

1 1.00 1.76 1.67 2.13 3.16 2.69 8.16 0.87

time (sec)

N/A 0.354 0.194 0.365 0.203 0.293 1.910 0.320 11.069

Problem 2061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 214 376 359 456 568 576 1054 187

N.S.

1 1.00 1.76 1.68 2.13 2.65 2.69 4.93 0.87

time (sec)

N/A 0.348 0.175 0.355 0.199 0.313 1.761 0.287 10.953

Problem 2062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 212 375 359 456 463 575 477 187

N.S.

1 1.00 1.77 1.69 2.15 2.18 2.71 2.25 0.88

time (sec)

N/A 0.349 0.170 0.351 0.210 0.281 1.670 0.284 11.028

Problem 2063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 374 359 464 472 483 631 270

N.S.

1 1.00 1.82 1.74 2.25 2.29 2.34 3.06 1.31

time (sec)

N/A 0.346 0.195 0.359 0.203 0.308 16.517 0.293 11.005

Problem 2064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 208 376 359 462 484 403 612 335

N.S.

1 1.00 1.81 1.73 2.22 2.33 1.94 2.94 1.61

time (sec)

N/A 0.352 0.169 0.375 0.203 0.320 17.624 0.298 10.930

Problem 2065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 376 334 463 496 338 608 388

N.S.

1 1.00 1.79 1.59 2.20 2.36 1.61 2.90 1.85

time (sec)

N/A 0.350 0.178 0.397 0.198 0.320 17.110 0.291 0.075

Problem 2066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 149 149 153 0 424 212 253 165

N.S.

1 1.08 1.08 1.11 0.00 3.07 1.54 1.83 1.20

time (sec)

N/A 0.295 0.057 0.369 0.000 0.327 18.722 0.278 10.938

Problem 2067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 120 108 115 0 290 156 171 130

N.S.

1 1.07 0.96 1.03 0.00 2.59 1.39 1.53 1.16

time (sec)

N/A 0.275 0.035 0.365 0.000 0.360 17.737 0.274 0.075

Problem 2068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 91 77 88 0 188 116 105 93

N.S.

1 1.06 0.90 1.02 0.00 2.19 1.35 1.22 1.08

time (sec)

N/A 0.247 0.057 0.323 0.000 0.320 17.487 0.265 0.073

Problem 2069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 62 58 0 143 88 62 50

N.S.

1 1.00 1.00 0.94 0.00 2.31 1.42 1.00 0.81

time (sec)

N/A 0.220 0.024 0.319 0.000 0.317 17.168 0.276 0.058

Problem 2070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 37 0 119 63 38 38

N.S.

1 1.00 1.00 0.79 0.00 2.53 1.34 0.81 0.81

time (sec)

N/A 0.205 0.007 0.310 0.000 0.327 17.499 0.273 10.933

Problem 2071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 68 0 214 92 69 57

N.S.

1 1.00 1.00 0.99 0.00 3.10 1.33 1.00 0.83

time (sec)

N/A 0.218 0.036 0.303 0.000 0.321 18.056 0.265 11.004

Problem 2072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 105 85 90 0 398 117 113 100

N.S.

1 1.13 0.91 0.97 0.00 4.28 1.26 1.22 1.08

time (sec)

N/A 0.244 0.083 0.319 0.000 0.368 17.925 0.280 11.060

Problem 2073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 141 116 112 0 706 144 183 137

N.S.

1 1.18 0.97 0.94 0.00 5.93 1.21 1.54 1.15

time (sec)

N/A 0.267 0.068 0.320 0.000 0.346 18.325 0.272 0.126

Problem 2074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 182 214 194 0 730 0 373 361

N.S.

1 1.04 1.22 1.11 0.00 4.17 0.00 2.13 2.06

time (sec)

N/A 0.293 0.131 0.438 0.000 0.337 0.000 0.278 0.151

Problem 2075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 153 162 144 0 520 0 263 268

N.S.

1 1.05 1.11 0.99 0.00 3.56 0.00 1.80 1.84

time (sec)

N/A 0.270 0.090 0.453 0.000 0.314 0.000 0.268 0.145

Problem 2076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 124 119 117 0 344 0 171 199

N.S.

1 1.04 1.00 0.98 0.00 2.89 0.00 1.44 1.67

time (sec)

N/A 0.251 0.083 0.430 0.000 0.314 0.000 0.292 11.001

Problem 2077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 102 90 79 0 383 0 108 135

N.S.

1 1.02 0.90 0.79 0.00 3.83 0.00 1.08 1.35

time (sec)

N/A 0.228 0.057 0.341 0.000 0.387 0.000 0.286 0.110

Problem 2078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 108 99 87 0 456 0 126 135

N.S.

1 0.98 0.90 0.79 0.00 4.15 0.00 1.15 1.23

time (sec)

N/A 0.244 0.097 0.336 0.000 0.332 0.000 0.269 0.098

Problem 2079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 122 96 102 0 549 0 148 142

N.S.

1 1.07 0.84 0.89 0.00 4.82 0.00 1.30 1.25

time (sec)

N/A 0.252 0.095 0.328 0.000 0.391 0.000 0.270 10.975

Problem 2080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 159 126 122 0 782 0 234 205

N.S.

1 1.14 0.90 0.87 0.00 5.59 0.00 1.67 1.46

time (sec)

N/A 0.263 0.149 0.349 0.000 0.401 0.000 0.271 11.019

Problem 2081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 195 168 143 0 1226 0 298 243

N.S.

1 1.17 1.01 0.86 0.00 7.34 0.00 1.78 1.46

time (sec)

N/A 0.298 0.182 0.375 0.000 0.371 0.000 0.269 11.125

Problem 2082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 231 220 165 0 1858 0 386 284

N.S.

1 1.18 1.12 0.84 0.00 9.48 0.00 1.97 1.45

time (sec)

N/A 0.334 0.292 0.365 0.000 0.469 0.000 0.284 0.318

Problem 2083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 217 277 228 0 968 0 474 535

N.S.

1 1.10 1.40 1.15 0.00 4.89 0.00 2.39 2.70

time (sec)

N/A 0.331 0.155 0.869 0.000 0.375 0.000 0.304 11.083

Problem 2084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 188 212 201 0 680 0 340 436

N.S.

1 1.10 1.24 1.18 0.00 3.98 0.00 1.99 2.55

time (sec)

N/A 0.295 0.110 0.855 0.000 0.455 0.000 0.298 11.068

Problem 2085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 166 162 161 0 765 0 235 337

N.S.

1 1.09 1.07 1.06 0.00 5.03 0.00 1.55 2.22

time (sec)

N/A 0.279 0.088 0.793 0.000 0.552 0.000 0.273 0.189

Problem 2086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 172 172 159 0 894 0 259 309

N.S.

1 1.06 1.06 0.98 0.00 5.52 0.00 1.60 1.91

time (sec)

N/A 0.287 0.147 0.806 0.000 0.464 0.000 0.285 0.143

Problem 2087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 186 171 145 0 1043 0 285 296

N.S.

1 1.08 0.99 0.84 0.00 6.06 0.00 1.66 1.72

time (sec)

N/A 0.284 0.146 0.375 0.000 0.483 0.000 0.277 10.975

Problem 2088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 200 170 170 0 1176 0 311 297

N.S.

1 1.10 0.93 0.93 0.00 6.46 0.00 1.71 1.63

time (sec)

N/A 0.308 0.177 0.375 0.000 0.412 0.000 0.276 0.162

Problem 2089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 214 166 169 0 1325 0 331 307

N.S.

1 1.19 0.92 0.94 0.00 7.36 0.00 1.84 1.71

time (sec)

N/A 0.308 0.187 0.375 0.000 0.704 0.000 0.271 11.049

Problem 2090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 251 218 206 0 1734 0 445 398

N.S.

1 1.22 1.06 1.00 0.00 8.42 0.00 2.16 1.93

time (sec)

N/A 0.332 0.381 0.397 0.000 0.465 0.000 0.285 11.295

Problem 2091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 287 280 227 0 2494 0 509 436

N.S.

1 1.23 1.20 0.97 0.00 10.70 0.00 2.18 1.87

time (sec)

N/A 0.353 0.404 0.401 0.000 0.606 0.000 0.291 11.528

Problem 2092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

152 99 79 69 263 212 0 881 0

N.S.

1 0.65 0.52 0.45 1.73 1.39 0.00 5.80 0.00

time (sec)

N/A 0.258 0.031 0.249 0.204 0.341 0.000 0.284 0.000

Problem 2093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

152 99 79 69 214 174 0 630 0

N.S.

1 0.65 0.52 0.45 1.41 1.14 0.00 4.14 0.00

time (sec)

N/A 0.251 0.028 0.247 0.205 0.341 0.000 0.279 0.000

Problem 2094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

152 99 79 69 167 137 0 414 0

N.S.

1 0.65 0.52 0.45 1.10 0.90 0.00 2.72 0.00

time (sec)

N/A 0.247 0.022 0.244 0.208 0.304 0.000 0.283 0.000

Problem 2095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

152 99 79 69 120 99 0 236 0

N.S.

1 0.65 0.52 0.45 0.79 0.65 0.00 1.55 0.00

time (sec)

N/A 0.251 0.019 0.249 0.208 0.300 0.000 0.258 0.000

Problem 2096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

150 97 78 69 119 64 0 100 127

N.S.

1 0.65 0.52 0.46 0.79 0.43 0.00 0.67 0.85

time (sec)

N/A 0.252 0.018 0.257 0.214 0.326 0.000 0.268 11.373

Problem 2097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

148 95 78 69 75 73 0 120 90

N.S.

1 0.64 0.53 0.47 0.51 0.49 0.00 0.81 0.61

time (sec)

N/A 0.241 0.019 0.256 0.210 0.339 0.000 0.264 11.496

Problem 2098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

148 95 79 68 96 85 0 108 126

N.S.

1 0.64 0.53 0.46 0.65 0.57 0.00 0.73 0.85

time (sec)

N/A 0.245 0.020 0.259 0.213 0.311 0.000 0.363 11.552

Problem 2099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

150 97 79 69 118 95 0 104 151

N.S.

1 0.65 0.53 0.46 0.79 0.63 0.00 0.69 1.01

time (sec)

N/A 0.247 0.021 0.247 0.207 0.296 0.000 0.351 11.560

Problem 2100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 157 172 202 592 377 0 1324 0

N.S.

1 0.59 0.65 0.77 2.24 1.43 0.00 5.02 0.00

time (sec)

N/A 0.311 0.047 0.305 0.216 0.306 0.000 0.395 0.000

[next] [prev] [prev-tail] [front] [up]